M. Broy's Documents

M. Broy's Documents

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme

Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme
Read more
Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings

Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings
Read more
Modellbildung in der Informatik (Xpert.press)

Modellbildung in der Informatik (Xpert.press)
Read more
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security
Read more
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Read more
Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project
Read more
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers
Read more
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised
Read more
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Read more
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Read more
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
Read more
Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study
Read more
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Read more
Resurgence

Resurgence
Read more
Revenant Rising

Revenant Rising
Read more
Revenant Rising

Revenant Rising
Read more
Retribution

Retribution
Read more
The Priority of Justice: Elements for a Sociology of Moral Choices

The Priority of Justice: Elements for a Sociology of Moral Choices
Read more
War Surf

War Surf
Read more
One Hundred Selected Games

One Hundred Selected Games
Read more
Playing Bit Parts in Shakespeare

Playing Bit Parts in Shakespeare
Read more
Death In Berlin

Death In Berlin
Read more
Mediaeval Trade and Finance

Mediaeval Trade and Finance
Read more
Jackie's Week

Jackie's Week
Read more
Hyperthought

Hyperthought
Read more
Het Zwaard Van Goud en Liefde

Het Zwaard Van Goud en Liefde
Read more
All That Was Happy

All That Was Happy
Read more
Groupe de Brauer

Groupe de Brauer
Read more
Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte

Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte
Read more
Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1

Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1
Read more